Section: New Results

Weak Memory Models

Participant : Assia Mahboubi [Contact] .

Assia Mahboubi has collaborated with Jade Alglave (Oxford University) and has programmed a complete formalization in Coq of the semantic proposed by Jade Alglave in a PhD for weak memory models. This work is described in [27] .